Mateu Villaret: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Modeling Decisions for Artificial Intelligence Volume 7647 || Using Linear Programming for Weights Identification of Generalized Bonferroni Means in R

Torra, Vicenç, Narukawa, Yasuo, López, Beatriz, Villaret, Mateu

Year:

2012

Language:

english

File:

PDF, 191 KB

english, 2012

2

Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

Carlos Ansótegui,Miquel Bofill,Miquel Palahí,Josep Suy,Mateu Villaret

Journal:

Year:

2013

Language:

english

File:

PDF, 1.10 MB

english, 2013

3

[Lecture Notes in Computer Science] Modeling Decisions for Artificial Intelligence Volume 7647 || Choquet Integral on the Real Line as a Generalization of the OWA Operator

Torra, Vicenç, Narukawa, Yasuo, López, Beatriz, Villaret, Mateu

Year:

2012

Language:

english

File:

PDF, 167 KB

english, 2012

4

Simplifying the signature in second-order unification

Jordi Levy, Mateu Villaret

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2009

Language:

english

File:

PDF, 440 KB

english, 2009

5

[IEEE 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL) - Waterloo, ON, Canada (2015.5.18-2015.5.20)] 2015 IEEE International Symposium on Multiple-Valued Logic - Finding Hard Instances of Satisfiability in Lukasiewicz Logics

Bofill, Miquel, Manya, Felip, Vidal, Amanda, Villaret, Mateu

Year:

2015

Language:

english

File:

PDF, 206 KB

english, 2015

6

TILC: The Interactive Lambda-Calculus Tracer

David Ruiz, Mateu Villaret

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 972 KB

english, 2009

7

Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers

Ansótegui, Carlos, Bofill, Miquel, Manyà, Felip, Villaret, Mateu

Journal:

Fuzzy Sets and Systems

Year:

2015

Language:

english

File:

PDF, 876 KB

english, 2015

8

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT

Bofill, Miquel, Coll, Jordi, Suy, Josep, Villaret, Mateu

Year:

2016

Language:

english

File:

PDF, 280 KB

english, 2016

9

The RANTANPLAN planner: system description

Bofill, Miquel, Espasa, Joan, Villaret, Mateu

Journal:

The Knowledge Engineering Review

Year:

2016

Language:

english

File:

PDF, 483 KB

english, 2016

10

Anti-unification for Unranked Terms and Hedges

Temur Kutsia, Jordi Levy, Mateu Villaret

Journal:

Journal of Automated Reasoning

Year:

2014

Language:

english

File:

PDF, 892 KB

english, 2014

11

Reformulation based MaxSAT robustness

Miquel Bofill,Dídac Busquets,Víctor Muñoz,Mateu Villaret

Journal:

Year:

2013

Language:

english

File:

PDF, 512 KB

english, 2013

12

Solving constraint satisfaction problems with SAT modulo theories

Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret

Journal:

Year:

2012

Language:

english

File:

PDF, 541 KB

english, 2012

13

The Complexity of Monadic Second-Order Unification

Levy, Jordi, Schmidt-Schauß, Manfred, Villaret, Mateu

Journal:

SIAM Journal on Computing

Year:

2008

Language:

english

File:

PDF, 544 KB

english, 2008

14

[IEEE 2011 IEEE 41st International Symposium on Multiple-Valued Logic (ISMVL) - Tuusula, Finland (2011.05.23-2011.05.25)] 2011 41st IEEE International Symposium on Multiple-Valued Logic - Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic

Ansótegui, Carlos, Bofill, Miquel, Manyà, Felip, Villaret, Mateu

Year:

2011

Language:

english

File:

PDF, 197 KB

english, 2011

15

SMT encodings for Resource-Constrained Project Scheduling Problems

Bofill, Miquel, Coll, Jordi, Suy, Josep, Villaret, Mateu

Journal:

Computers & Industrial Engineering

Year:

2020

File:

PDF, 991 KB

2020

16

On the relation between Context and Sequence Unification

Temur Kutsia, Jordi Levy, Mateu Villaret

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 982 KB

english, 2010

17

[Lecture Notes in Computer Science] Modeling Decisions for Artificial Intelligence Volume 7647 || Do We Know How to Integrate?

Torra, Vicenç, Narukawa, Yasuo, López, Beatriz, Villaret, Mateu

Year:

2012

Language:

english

File:

PDF, 192 KB

english, 2012

18

[Lecture Notes in Computer Science] Modeling Decisions for Artificial Intelligence Volume 7647 || Qualitative Integrals and Desintegrals – Towards a Logical View

Torra, Vicenç, Narukawa, Yasuo, López, Beatriz, Villaret, Mateu

Year:

2012

Language:

english

File:

PDF, 221 KB

english, 2012

19

Experimental analysis of optimization techniques on the road passenger transportation problem

Beatriz López, Victor Muñoz, Javier Murillo, Federico Barber, Miguel A. Salido, Montserrat Abril, Mariamar Cervantes, Luis F. Caro, Mateu Villaret

Journal:

Engineering Applications of Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 665 KB

english, 2009

20

Nominal Unification from a Higher-Order Perspective

Levy, Jordi, Villaret, Mateu

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 238 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски